Optimal. Leaf size=95 \[ -\frac{A \log \left (a+b x^2\right )}{2 a^2}+\frac{A \log (x)}{a^2}+\frac{(a D+b B) \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{2 a^{3/2} b^{3/2}}+\frac{x (b B-a D)-a C+A b}{2 a b \left (a+b x^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.121648, antiderivative size = 95, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.179, Rules used = {1805, 801, 635, 205, 260} \[ -\frac{A \log \left (a+b x^2\right )}{2 a^2}+\frac{A \log (x)}{a^2}+\frac{(a D+b B) \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{2 a^{3/2} b^{3/2}}+\frac{x (b B-a D)-a C+A b}{2 a b \left (a+b x^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1805
Rule 801
Rule 635
Rule 205
Rule 260
Rubi steps
\begin{align*} \int \frac{A+B x+C x^2+D x^3}{x \left (a+b x^2\right )^2} \, dx &=\frac{A b-a C+(b B-a D) x}{2 a b \left (a+b x^2\right )}-\frac{\int \frac{-2 A-\frac{(b B+a D) x}{b}}{x \left (a+b x^2\right )} \, dx}{2 a}\\ &=\frac{A b-a C+(b B-a D) x}{2 a b \left (a+b x^2\right )}-\frac{\int \left (-\frac{2 A}{a x}+\frac{-a b B-a^2 D+2 A b^2 x}{a b \left (a+b x^2\right )}\right ) \, dx}{2 a}\\ &=\frac{A b-a C+(b B-a D) x}{2 a b \left (a+b x^2\right )}+\frac{A \log (x)}{a^2}-\frac{\int \frac{-a b B-a^2 D+2 A b^2 x}{a+b x^2} \, dx}{2 a^2 b}\\ &=\frac{A b-a C+(b B-a D) x}{2 a b \left (a+b x^2\right )}+\frac{A \log (x)}{a^2}-\frac{(A b) \int \frac{x}{a+b x^2} \, dx}{a^2}+\frac{(b B+a D) \int \frac{1}{a+b x^2} \, dx}{2 a b}\\ &=\frac{A b-a C+(b B-a D) x}{2 a b \left (a+b x^2\right )}+\frac{(b B+a D) \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{2 a^{3/2} b^{3/2}}+\frac{A \log (x)}{a^2}-\frac{A \log \left (a+b x^2\right )}{2 a^2}\\ \end{align*}
Mathematica [A] time = 0.0706707, size = 85, normalized size = 0.89 \[ \frac{\frac{a (-a (C+D x)+A b+b B x)}{b \left (a+b x^2\right )}-A \log \left (a+b x^2\right )+\frac{\sqrt{a} (a D+b B) \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{b^{3/2}}+2 A \log (x)}{2 a^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.01, size = 125, normalized size = 1.3 \begin{align*}{\frac{A\ln \left ( x \right ) }{{a}^{2}}}+{\frac{Bx}{2\,a \left ( b{x}^{2}+a \right ) }}-{\frac{xD}{ \left ( 2\,b{x}^{2}+2\,a \right ) b}}+{\frac{A}{2\,a \left ( b{x}^{2}+a \right ) }}-{\frac{C}{ \left ( 2\,b{x}^{2}+2\,a \right ) b}}-{\frac{A\ln \left ( b{x}^{2}+a \right ) }{2\,{a}^{2}}}+{\frac{B}{2\,a}\arctan \left ({bx{\frac{1}{\sqrt{ab}}}} \right ){\frac{1}{\sqrt{ab}}}}+{\frac{D}{2\,b}\arctan \left ({bx{\frac{1}{\sqrt{ab}}}} \right ){\frac{1}{\sqrt{ab}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: UnboundLocalError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 8.1076, size = 797, normalized size = 8.39 \begin{align*} \frac{A \log{\left (x \right )}}{a^{2}} + \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) \log{\left (x + \frac{48 A^{3} b^{4} + 48 A^{2} a^{2} b^{4} \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) - 4 A B^{2} a b^{3} - 8 A B D a^{2} b^{2} - 4 A D^{2} a^{3} b - 96 A a^{4} b^{4} \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right )^{2} + 4 B^{2} a^{3} b^{3} \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) + 8 B D a^{4} b^{2} \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) + 4 D^{2} a^{5} b \left (- \frac{A}{2 a^{2}} - \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right )}{36 A^{2} B b^{4} + 36 A^{2} D a b^{3} + B^{3} a b^{3} + 3 B^{2} D a^{2} b^{2} + 3 B D^{2} a^{3} b + D^{3} a^{4}} \right )} + \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) \log{\left (x + \frac{48 A^{3} b^{4} + 48 A^{2} a^{2} b^{4} \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) - 4 A B^{2} a b^{3} - 8 A B D a^{2} b^{2} - 4 A D^{2} a^{3} b - 96 A a^{4} b^{4} \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right )^{2} + 4 B^{2} a^{3} b^{3} \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) + 8 B D a^{4} b^{2} \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right ) + 4 D^{2} a^{5} b \left (- \frac{A}{2 a^{2}} + \frac{\sqrt{- a^{5} b^{3}} \left (B b + D a\right )}{4 a^{4} b^{3}}\right )}{36 A^{2} B b^{4} + 36 A^{2} D a b^{3} + B^{3} a b^{3} + 3 B^{2} D a^{2} b^{2} + 3 B D^{2} a^{3} b + D^{3} a^{4}} \right )} - \frac{- A b + C a + x \left (- B b + D a\right )}{2 a^{2} b + 2 a b^{2} x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.20465, size = 126, normalized size = 1.33 \begin{align*} -\frac{A \log \left (b x^{2} + a\right )}{2 \, a^{2}} + \frac{A \log \left ({\left | x \right |}\right )}{a^{2}} + \frac{{\left (D a + B b\right )} \arctan \left (\frac{b x}{\sqrt{a b}}\right )}{2 \, \sqrt{a b} a b} - \frac{C a^{2} - A a b +{\left (D a^{2} - B a b\right )} x}{2 \,{\left (b x^{2} + a\right )} a^{2} b} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]